Fregean subtractive varieties with definable congruence

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Varieties with Definable Factor Congruences

We study direct product representations of algebras in varieties. We collect several conditions expressing that these representations are definable in a first-orderlogic sense, among them the concept of Definable Factor Congruences (DFC). The main results are that DFC is a Mal’cev property and that it is equivalent to all other conditions formulated; in particular we prove that V has DFC if and...

متن کامل

Quasi-subtractive varieties

Varieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects: e.g. normal subgroups of groups, two-sided ideals of rings, …lters (or ideals) of Boolean algebras. Abstract algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A...

متن کامل

Congruence semimodular varieties I: Locally finite varieties

The lattice of closed subsets of a set under such a closure operator is semimodular. Perhaps the best known example of a closure operator satisfying the exchange principle is the closure operator on a vector space W where for X ___ W we let C(X) equal the span of X. The lattice of C-closed subsets of W is isomorphic to Con(W) in a natural way; indeed, if Y _~ W x W and Cg(Y) denotes the congrue...

متن کامل

Varieties of Algebras and their Congruence Varieties

1. Congruence lattices. G. Birkhoff and O. Frink noted that the congruence lattice Con04) of an algebra A (with operations of finite rank) is algebraic or compactly generated. The celebrated Grätzer-Schmidt theorem states that, conversely, every algebraic lattice is isomorphic to Con(A) for some algebra A. The importance of this is obvious, for it shows that unless something more is known about...

متن کامل

Congruence semimodular varieties II: Regular varieties

In [8], P. Jones characterized the regular varieties of semigroups which are congruence semimodular and he partially solved the problem of characterizing the non-regular, congruence semimodular (CSM) varieties of semigroups. For regular varieties his characterization was an equational one, so necessarily a part of his argument was semigroup-theoretic. But some of his argument involved only cong...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of the Australian Mathematical Society

سال: 2001

ISSN: 1446-7887,1446-8107

DOI: 10.1017/s1446788700002998